Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
نویسندگان
چکیده
This paper introduces probabilistic analysis for fixed priority preemptive scheduling of mixed criticality systems on a uniprocessor using the Adaptive Mixed Criticality (AMC) and Static Mixed Criticality (SMC) schemes. We compare this analysis to the equivalent deterministic methods, highlighting the performance gains that can be obtained by utilising more detailed information about worst-case execution time estimates described in terms of probability distributions.
منابع مشابه
Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines
This paper extends analysis of the Adaptive Mixed Criticality (AMC) scheme for fixed-priority preemptive scheduling of mixed-criticality systems to include tasks with arbitrary deadlines. Both of the previously published schedulability tests, AMC-rtb and AMC-max are extended to cater for tasks with deadlines that may be greater than their periods. Evaluations show that the simpler method, AMC-r...
متن کاملExtending Mixed Criticality Scheduling
The capability of hardware is constantly developing in capacity, speed and efficiency. This development has sparked industrial and academic interest in how best to utilise the increased capability. It is now possible to integrate many systems that in the past might have existed as different nodes, into the one consolidated architecture. This desire to centralise functionality leads to the poten...
متن کاملProbabilistic Analysis of Low-Criticality Execution
The mixed-criticality toolbox promises system architects a powerful framework for consolidating real-time tasks with different safety properties on a single computing platform. Thanks to the research efforts in the mixed-criticality field, guarantees provided to the highest criticality level are well understood. However, lower-criticality job execution depends on the condition that all high-cri...
متن کاملVerification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL
Timed automata, priced timed automata and energy automata have emerged as useful formalisms for modeling a real-time and energy-aware systems as found in several embedded and cyber-physical systems. Whereas the real-time model checker UPPAAL allows for efficient verification of hard timing constraints of timed automata, model checking of priced timed automata and energy automata are in general ...
متن کاملOn the Safety of Mixed-Criticality Scheduling
A common assumption for scheduling mixedcriticality systems is the degradation of less critical tasks when the system is in the emergency mode; which is entered when critical tasks overrun their expected WCET. In the meanwhile, common safety standards enforce strict safety requirements on all criticality levels. However, the impact of degrading less critical tasks on the overall system safety i...
متن کامل